Skip to content

Release 0.1.0 (next)#17

Merged
MarekSuchanek merged 1 commit intonextfrom
release/0.1.0
Feb 20, 2025
Merged

Release 0.1.0 (next)#17
MarekSuchanek merged 1 commit intonextfrom
release/0.1.0

Conversation

@MarekSuchanek
Copy link
Member

@MarekSuchanek MarekSuchanek commented Feb 20, 2025

(to be merged with merge commit)

@MarekSuchanek MarekSuchanek added the release Release-related issue or PR label Feb 20, 2025
@MarekSuchanek MarekSuchanek self-assigned this Feb 20, 2025
@MarekSuchanek MarekSuchanek merged commit 21a0723 into next Feb 20, 2025
4 checks passed
@MarekSuchanek MarekSuchanek deleted the release/0.1.0 branch February 20, 2025 07:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release-related issue or PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant